#ifndef _VALLOC_H
#define _VALLOC_H

#include <type.h>

void valloc_init(void);

void* valloc(size_t size);
void* vzalloc(size_t size);

void vfree(void* ptr);

void* valloc_dma(size_t size);
void* vzalloc_dma(size_t size);

void vfree_dma(void* ptr);

#endif /* _VALLOC_H */